On topological Rudin's lemma, well-filtered spaces and sober spaces
نویسندگان
چکیده
منابع مشابه
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames
We introduce observation frames as an extension of ordinary frames. The aim is to give an abstract representation of a mapping from observable predicates to all predicates of a specific system. A full subcategory of the category of observation frames is shown to be dual to the category of F! topological spaces. The notions we use generalize those in the adjunction between frames and topological...
متن کاملcompactifications and function spaces on weighted semigruops
chapter one is devoted to a moderate discussion on preliminaries, according to our requirements. chapter two which is based on our work in (24) is devoted introducting weighted semigroups (s, w), and studying some famous function spaces on them, especially the relations between go (s, w) and other function speces are invesigated. in fact this chapter is a complement to (32). one of the main fea...
15 صفحه اولSober Spaces, Well-Filtration and Compactness Principles
We investigate various notions of sobriety for topological spaces that are equivalent in ZF set theory with the Axiom of Choice but may differ in the absence of choice principles. The Ultrafilter Principle UP (alias Prime Ideal Theorem) suffices for the desired conclusions. We derive from UP three topological postulates and prove their equivalence in ZF without choice: the Well-Filtration Princ...
متن کاملBaire Spaces, Sober Spaces
In the article concepts and facts necessary to continue forma-lization of theory of continuous lattices according to [10] are introduced. The notation and terminology used here are introduced in the following papers:
متن کاملSober Spaces and Continuations
A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational values are determined by the observations that can be made of them. A new definition of sobriety is formulated in terms of lambda calculus and elementary category theory, with no reference to lattice structure, but, for topological spaces, this...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2020
ISSN: 0166-8641
DOI: 10.1016/j.topol.2020.107080